¿Quiénes son y qué proponen los principales candidatos para la presidencia colombiana?